Verifi相关论文
Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方......
本文提出利用高精度测微计代替三等量块和电感比较仪检定标准厚度片的检定方法,通过对检定结果的测量不确定度评定,论证了高精度测......
为检验T213与AREM模式的降水预报效果,将2004-2005连续两年两个模式的预报结果与河南省117站逐日降水实况进行分级嬲评分检验,结果发......
针对在嵌入式系统设计中,目前常用的VHDL建模方法方法存在不易理解、模型描述困难、工作量大的问题,UML建模方法存在模型需形式化......
本文介绍了实物校验装置在火电厂中的应用必要性,具体介绍其工作原理、系统结构和性能以及安装调试主要事项。......
以美国国防部(DoD)近年来对建模与仿真(M&S)应用所做的校验、确认与验收(VV&A)研究工作为基础,介绍了关于M&S应用的校验、确认、验......
双线性对运算在密码学领域具有广泛的应用,但是双线性对运算也是此类密码协议中最耗计算资源的运算。目前解决该问题的方法之一是......
总结了HYE1型电压互感器现场检定装置在现场检定电压互感器时的检定线路以及一次接线、二次接线、接地等常见的问题,分析了产生问......
以天津大学新校区为例,利用Autodesk Ecotect软件对建筑群进行全年太阳辐射量模拟,得到建筑外围护结构全年太阳辐射模型,选定适宜......
分析了烟气排放连续监测系统(CEMS)在上传数据时出现数据误差的原因,提出了应尽可能将CEMS安装在较长的直段垂直烟道上,从而避免水......
主要论述了深圳职业技术学院楼宇智能化工程技术专业的"课证"一体化课程体系开发,以及其教学质量的保障体系;通过本专业这些年的探索......
This paper describes an in-house developed language tool called VPerl used in developing a 250 MHz 32-bit high-performan......
各种流量计从研制到使用,必须对其特性进行研究,对其标称的流量性能进行试验,并给出试验结果。这些试验研究工作都需要在流量标准装置......
建立公路工程检测设备计量体系是专业计量管理工作的需要.它是一项专业性较强的工作,如何建立,值得探讨.......
利用有限域上的插值多项式来构造可验证随机数,并且结合Lagrange插值法与Newton插值法给出了可验证随机数的两种快速构造方法。此......
对食品检验实验室的仪器设备检定校准方面的现实需求情况进行了分析,通过设计科学、合理的检定校准计划与方案,确保食品检验仪器设......
通过初选和扩大实验两个步骤,使用聚乙烯薄膜(简称PE薄膜)和天然乳胶薄膜(简称乳胶薄膜)这两种有机高分子材料,对不同型号GNSS测量......
可靠性强化试验是空空导弹在研制阶段开展的一项重要试验,通过试验能够快速地发现产品存在的薄弱环节,提高产品的健壮性。对某空空......
介绍彩色印刷网点图像平面呈色模型的基本内容,用FORGA及笔者自测的数据,采用回归及曲线拟合算法,建立IT8.7/3标准色谱中三色胶印......